Inconsistency Proofs for ASP: The ASP - DRUPE Format
نویسندگان
چکیده
منابع مشابه
The Multi-Engine ASP Solver me-asp
In this paper we describe the new system ME-ASP, which applies machine learning techniques for inductively choosing, among a set of available ones, the “best” ASP solver on a per-instance basis. Moreover, we report the results of some experiments, carried out on benchmarks from the “System Track” of the 3rd ASP Competition, showing the state-of-the-art performance of our solver.
متن کامل∃-asp
Answer set programming (ASP) is an appropriate formalism to represent various problems issued from artificial intelligence and arising when available information is incomplete. When dealing with information expressed in terms of ontologies in some tractable description logic language, ASP must be extended to handle existential variables. We present the syntax and semantics of an ASP language wi...
متن کاملDebugging ASP Programs by Means of ASP
Answer-set programming (ASP) has become an important paradigm for declarative problem solving in recent years. However, to further improve the usability of answer-set programs, the development of software-engineering tools is vital. In particular, the area of debugging provides a challenge in both theoretical and practical terms. This is due to the purely declarative nature of ASP that, on the ...
متن کاملThe Multi-engine ASP Solver ME-ASP: Progress Report
ME-ASP is a multi-engine solver for ground ASP programs. It exploits algorithm selection techniques based on classification to select one among a set of out-of-the-box heterogeneous ASP solvers used as black-box engines. In this paper we report on (i) a new optimized implementation of MEASP; and (ii) an attempt of applying algorithm selection to non-ground programs. An experimental analysis rep...
متن کاملA protein recognized by antibodies to Asp-Asp-Asp-Glu-Asp shows specific binding activity to heterogeneous nuclear transport signals.
Nuclear proteins contain a signal, termed the nuclear transport signal, that specifies their selective transport into the nucleus. Previously we reported that antibodies to Asp-Asp-Asp-Glu-Asp (DDDED) inhibited nuclear transport of nuclear proteins in vivo. We therefore tried to detect a cellular receptor of nuclear transport signals as a protein that reacted with both anti-DDDED antibody and n...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory and Practice of Logic Programming
سال: 2019
ISSN: 1471-0684,1475-3081
DOI: 10.1017/s1471068419000255